More from this Author
Found 6 books by Elvira Albert (Editor)
Integrated Formal Methods
by Elvira Albert (Editor), Emil Sekerinski (Editor)
Logic-Based Program Synthesis and Transformation
by Elvira Albert (Editor)
Formal Techniques for Distributed Objects, Components, and Systems
by Elvira Albert (Editor), Ivan Lanese (Editor)
Integrated Formal Methods
by Elvira Albert (Editor), Emil Sekerinski (Editor)
Logic-Based Program Synthesis and Transformation
by Elvira Albert (Editor)
Formal Techniques for Distributed Objects, Components, and Systems
by Elvira Albert (Editor), Ivan Lanese (Editor)